(DEFUN NEEDEVAL (E) 
       (COND ((OR (EQ E NIL) (EQ E T) (NUMBERP E)) E)
	     ((EQ (CAR E) 'QUOTE) (CADR E))
	     ((EQ (CAR E) 'CAR) (CAR (NEEDEVAL (CADR E))))
	     ((EQ (CAR E) 'CDR) (CDR (NEEDEVAL (CADR E))))
	     ((EQ (CAR E) 'ATOM) (ATOM (NEEDEVAL (CADR E))))
	     ((EQ (CAR E) 'NULL) (NULL (NEEDEVAL (CADR E))))
	     ((EQ (CAR E) 'CONS)
	      (CONS (NEEDEVAL (CADR E)) (NEEDEVAL (CADDR E))))
	     ((EQ (CAR E) 'EQUAL)
	      (EQUAL (NEEDEVAL (CADR E)) (NEEDEVAL (CADDR E))))
	     ((EQ (CAR E) 'COND) (NEEDEVCOND (CDR E)))
	     ((EQ (CAAR E) 'LAMBDA)
	      (NEEDEVAL (SUBLIS2 (PRUP (CADAR E) (CDR E)) (CADDAR E))))
	     ((EQ (CAAR E) 'LABEL)
	 (prog2 (setq count
(add1 count))     (NEEDEVAL (CONS (SUBST (CAR E) (CADAR E) (CADDAR E))
			      (CDR E))))))) 

(DEFUN PRUP (U V) 
       (COND ((NULL U) NIL)
	     (T (CONS (CONS (CAR U) (CAR V))
		      (PRUP (CDR U) (CDR V)))))) 

(DEFUN NEEDEVCOND (U) 
       (COND ((NEEDEVAL (CAAR U)) (NEEDEVAL (CADAR U)))
	     (T (NEEDEVCOND (CDR U))))) 

(setq f1 '(label alt (lambda (u) (cond ((null u) nil) ((null (cdr u)) u)
(t (cons (car u) (alt (cdr (cdr u)))))))))

(defun sublis2 (a e) (cond ((null a) e)
((atom e) ((lambda (z) (cond ((null z) e) (t (cdr z)))) (assoc e a)))
((eq (car e) 'lambda) (cons 'lambda (sublis2 (strip (cadr e) a) (cdr e))))
(t (cons (sublis2 a (car e)) (sublis2 a (cdr e))))))

(defun strip (u a) (cond ((null a) nil) ((member (caar a) u) (strip u (cdr a)))
(t (cons (car a) (strip u (cdr a))))))

(defun test (x) (prog2 (setq count 0) (needeval (list f1 (list 'quote x)))))